Lerch zeta function

In mathematics, the Lerch zeta-function, sometimes called the Hurwitz–Lerch zeta-function, is a special function that generalizes the Hurwitz zeta-function and the polylogarithm. It is named after Mathias Lerch [1].

1 Definition
2 Integral representations
3 Special cases
4 Identities
5 Series representations
6 References
7 External links

Definition

The Lerch zeta-function is given by

$L(\lambda, \alpha, s) = \sum_{n=0}^\infty \frac { \exp (2\pi i\lambda n)} {(n%2B\alpha)^s}.$

A related function, the Lerch transcendent, is given by

$\Phi(z, s, \alpha) = \sum_{n=0}^\infty \frac { z^n} {(n%2B\alpha)^s}.$

The two are related, as

$\,\Phi(\exp (2\pi i\lambda), s,\alpha)=L(\lambda, \alpha,s).$

Integral representations

An integral representation is given by

$\Phi(z,s,a)=\frac{1}{\Gamma(s)}\int_0^\infty \frac{t^{s-1}e^{-at}}{1-ze^{-t}}\,dt$

for

$\Re(a)>0\wedge\Re(s)>0\wedge z<1\vee\Re(a)>0\wedge\Re(s)>1\wedge z=1.$

A contour integral representation is given by

$\Phi(z,s,a)=-\frac{\Gamma(1-s)}{2\pi i}\int_0^{(%2B\infty)} \frac{(-t)^{s-1}e^{-at}}{1-ze^{-t}}\,dt$

for

$\Re(a)>0\wedge\Re(s)<0\wedge z<1$

where the contour must not enclose any of the points $t=\log(z)%2B2k\pi i,k\in Z.$

A Hermite-like integral representation is given by

$\Phi(z,s,a)= \frac{1}{2a^s}%2B \int_0^\infty \frac{z^t}{(a%2Bt)^s}\,dt%2B \frac{2}{a^{s-1}} \int_0^\infty \frac{\sin(s\arctan(t)-ta\log(z))}{(1%2Bt^2)^{s/2}(e^{2\pi at}-1)}\,dt$

for

$\Re(a)>0\wedge |z|<1$

and

$\Phi(z,s,a)=\frac{1}{2a^s}%2B \frac{\log^{s-1}(1/z)}{z^a}\Gamma(1-s,a\log(1/z))%2B \frac{2}{a^{s-1}} \int_0^\infty \frac{\sin(s\arctan(t)-ta\log(z))}{(1%2Bt^2)^{s/2}(e^{2\pi at}-1)}\,dt$

for

$\Re(a)>0.$

Special cases

The Hurwitz zeta-function is a special case, given by

$\,\zeta(s,\alpha)=L(0, \alpha,s)=\Phi(1,s,\alpha).$

The polylogarithm is a special case of the Lerch Zeta, given by

$\,\textrm{Li}_s(z)=z\Phi(z,s,1).$

The Legendre chi function is a special case, given by

$\,\chi_n(z)=2^{-n}z \Phi (z^2,n,1/2).$

The Riemann zeta-function is given by

$\,\zeta(s)=\Phi (1,s,1).$

The Dirichlet eta-function is given by

$\,\eta(s)=\Phi (-1,s,1).$

Identities

For λ rational, the summand is a root of unity, and thus $L(\lambda, \alpha, s)$ may be expressed as a finite sum over the Hurwitz zeta-function.

Various identities include:

$\Phi(z,s,a)=z^n \Phi(z,s,a%2Bn) %2B \sum_{k=0}^{n-1} \frac {z^k}{(k%2Ba)^s}$

and

$\Phi(z,s-1,a)=\left(a%2Bz\frac{\partial}{\partial z}\right) \Phi(z,s,a)$

and

$\Phi(z,s%2B1,a)=-\,\frac{1}{s}\frac{\partial}{\partial a} \Phi(z,s,a).$

Series representations

A series representation for the Lerch transcendent is given by

$\Phi(z,s,q)=\frac{1}{1-z} \sum_{n=0}^\infty \left(\frac{-z}{1-z} \right)^n \sum_{k=0}^n (-1)^k {n \choose k} (q%2Bk)^{-s}.$

The series is valid for all s, and for complex z with Re(z)<1/2. Note a general resemblance to a similar series representation for the Hurwitz zeta function.

A Taylor's series in the first parameter was given by Erdélyi. It may be written as the following series, which is valid for

$|\log(z)|<2 \pi;s\neq 1,2,3,\dots; a\neq 0,-1,-2,\dots$

$\Phi(z,s,a)=z^{-a}\left[\Gamma(1-s)\left(-\log (z)\right)^{s-1} %2B\sum_{k=0}^\infty \zeta(s-k,a)\frac{\log^k (z)}{k!}\right]$

(the correctness of this formula is disputed, please see the talk page)

Please see: B. R. Johnson, Generalized Lerch zeta-function. Pacific J. Math. 53, no. 1 (1974), 189–193. http://projecteuclid.org/Dienst/UI/1.0/Display/euclid.pjm/1102911791?abstract=

If s is a positive integer, then

$\Phi(z,n,a)=z^{-a}\left\{ \sum_{{k=0}\atop k\neq n-1}^ \infty \zeta(n-k,a)\frac{\log^k (z)}{k!} %2B\left[\Psi(n)-\Psi(a)-\log(-\log(z))\right]\frac{\log^{n-1}(z)}{(n-1)!}\right\}.$

A Taylor series in the third variable is given by

$\Phi(z,s,a%2Bx)=\sum_{k=0}^\infty \Phi(z,s%2Bk,a)(s)_{k}\frac{(-x)^k}{k!};|x|<\Re(a).$

Series at a = -n is given by

$\Phi(z,s,a)=\sum_{k=0}^n \frac{z^k}{(a%2Bk)^s} %2Bz^n\sum_{m=0}^\infty (1-m-s)_{m}Li_{s%2Bm}(z)\frac{(a%2Bn)^m}{m!}; a\rightarrow-n$

A special case for n = 0 has the following series

$\Phi(z,s,a)=\frac{1}{a^s} %2B\sum_{m=0}^\infty (1-m-s)_m Li_{s%2Bm}(z)\frac{a^m}{m!}; |a|<1.$

An asymptotic series for $s\rightarrow-\infty$

$\Phi(z,s,a)=z^{-a}\Gamma(1-s)\sum_{k=-\infty}^\infty [2k\pi i-\log(z)]^{s-1}e^{2k\pi ai}$

for $|a|<1;\Re(s)<0�;z\notin (-\infty,0)$ and

$\Phi(-z,s,a)=z^{-a}\Gamma(1-s)\sum_{k=-\infty}^\infty [(2k%2B1)\pi i-\log(z)]^{s-1}e^{(2k%2B1)\pi ai}$

for $|a|<1;\Re(s)<0�;z\notin (0,\infty).$

An asymptotic series in the incomplete Gamma function

$\Phi(z,s,a)=\frac{1}{2a^s}%2B \frac{1}{z^a}\sum_{k=1}^\infty \frac{e^{-2\pi i(k-1)a}\Gamma(1-s,a(-2\pi i(k-1)-\log(z)))} {(-2\pi i(k-1)-\log(z))^{1-s}}%2B \frac{e^{2\pi ika}\Gamma(1-s,a(2\pi ik-\log(z)))}{(2\pi ik-\log(z))^{1-s}}$

for $|a|<1;\Re(s)<0.$

References

Apostol, T. M. (2010), "Lerch's Transcendent", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, MR 2723248, http://dlmf.nist.gov/25.14 .
Bateman, H.; Erdélyi, A. (1953), Higher Transcendental Functions, Vol. I, New York: McGraw-Hill, http://apps.nrbook.com/bateman/Vol1.pdf . (See § 1.11, "The function Ψ(z,s,v)", p. 27)
Gradshteyn, I.S.; Ryzhik, I.M. (1980), Tables of Integrals, Series, and Products (4th ed.), New York: Academic Press, ISBN 0-12-294760-6 . (see Chapter 9.55)
Guillera, Jesus; Sondow, Jonathan (2008), "Double integrals and infinite products for some classical constants via analytic continuations of Lerch's transcendent", The Ramanujan Journal 16 (3): 247–270, arXiv:math.NT/0506319, doi:10.1007/s11139-007-9102-0, MR 2429900 . (Includes various basic identities in the introduction.)
Jackson, M. (1950), "On Lerch's transcendent and the basic bilateral hypergeometric series ₂ψ₂", J. London Math. Soc. 25 (3): 189–196, doi:10.1112/jlms/s1-25.3.189, MR 0036882 .
Laurinčikas, Antanas; Garunkštis, Ramūnas (2002), The Lerch zeta-function, Dordrecht: Kluwer Academic Publishers, ISBN 9781402010149, MR 1979048 .
Lerch, Mathias (1887), "Note sur la fonction $\scriptstyle{\mathfrak K}(w,x,s) = \sum_{k=0}^\infty {e^{2k\pi ix} \over (w%2Bk)^s}$ " (in French), Acta Mathematica 11 (1–4): 19–24, doi:10.1007/BF02612318, MR 1554747 .

External links

Aksenov, Sergej V.; Jentschura, Ulrich D. (2002), C and Mathematica Programs for Calculation of Lerch's Transcendent, http://aksenov.freeshell.org/lerchphi.html .
Ramunas Garunkstis, Home Page (2005) (Provides numerous references and preprints.)
Ramunas Garunkstis, Approximation of the Lerch Zeta Function (PDF)
S. Kanemitsu, Y. Tanigawa and H. Tsukada, A generalization of Bochner's formula, (undated, 2005 or earlier)
Weisstein, Eric W., "Lerch Transcendent" from MathWorld.